Who is the patron saint of quarries or mining?

The patron saints of miners are:
Andrew the Apostle
Anne
Barbara
David the King
Eligius
Erhard of Regensburg
Leonard of Noblac
Patrick
Piran
Virgen of Rosario