Quantum Gauge Field Theory in Cohesive Homotopy Type Theory