A devastating explosion in a Colombian coal mine claims nine lives, highlighting safety failures in the industry.