The coal deposits of Batan Island : with notes on the general and economic geology of the adjacent region