Generating Exponentially Smaller POMDP Models Using Conditionally Irrelevant Variable Abstraction