Which famous scientist formulated the laws of motion?