who invented pool