Who used Galileo's ideas for the laws of gravity?