Greedy is optimal for single-pass semi-streaming matching