Oil as a finite resource: When is global production likely to peak?