How long does the GARDENA Robotic Lawnmower take to mow the lawn?