Title: Oil-field development and petroleum mining