Male optimality and uniqueness in stable matching problems with partial orders