منزل / what is mining machinery