Cuatro mineros murieron por explosión en Boyacá