Which German Formula One racing driver shared the lead in the with Lewis Hamilton in the lead in 2017 Formula One Driver's Championship?