quien invento el molino de piedra