Which scientist is known for formulating the laws of motion?