The ALMA Band 9 receiver. Design, construction, characterization, and first light