Who was the German mathematician and astronomer known for his laws of planetary motion?