Bootstrapping quantum extremal surfaces. Part I. The area operator