Five workers trapped in coal mine in China's Shanxi province