Algebraic quantum gravity (AQG): IV. Reduced phase space quantization of loop quantum gravity