where was pool invented