Who formulated the laws which first explained the movements of the planets properly?