What are the grounds for the penalty faced by a driver who stops over the stop line when the traffic light has turned red?