Formal schemes are fppf sheaves