how much would it cost to dig a ditch?