LTLf Synthesis Under Environment Specifications