how was gravity discovered?