Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation