Leading up to the Battle of Petersburg: The Mining Operation