Opencast Mining: How Much to Excavate