Who discovered the force of gravity first?