Nine miners rescued after collapse in Colombia