A Survey of Code-switched Arabic NLP: Progress, Challenges, and Future Directions