Exact simulation of a Boolean model