Rigorous Analysis of a Superconducting Hot-Electron Bolometer Mixer: Theory and Comparison with Experiment