Logic models of pathway biology.