Same major, different peers: gender sorting across and within majors