Boolean Models can Explain Bistability in the lac Operon