what is coal mining and mines coal hong kong