Utilitarian stable matching