Rawlsian many-to-one matching with non-linear utility