proposal algorithm (stable matching)