sizes and types of mining machineries