Higher Gauge Theory and Discrete Geometry