Harmonic Field-based Provable Exploration of 3D Indoor Environments