history of jigging machines in coal mining