How does lactose function with the lac operon?