types of industrial machine pedals jockey