π/2-Angle Yao Graphs are Spanners