Finite state abstraction of a stochastic model of the lactose regulation system in Eschrichia coli