Envy-Free Matchings with Lower Quotas