A review on slip models for gas microflows