Strojništvo, Metalurgija, Rudarstvo