Modeling the resolution and sensitivity of FAIMS analyses