A rigorous sharp interface limit for diffuse interface models related to tumor growth