Coal as a source rock for oil: a review