Approximation Algorithms for Single-minded Envy-free Profit-maximization Problems with Limited Supply