Semi-Streaming Bipartite Matching in Fewer Passes and Optimal Space