Model Checking Biological Systems Described Using Ambient Calculus