$4.25 million settlement reached in coal-mine hiring case