What are olive oil mills?

A kind of special grinder to extract the pure oil from olives. The most famous olive oil processors in Spain are Cordoba, Jaen, and Seville.