Strategy-Proof and Envy-Free Random Assignment