what machine are used in quarry mining