Understanding Practices, Challenges, and Opportunities for User-Engaged Algorithm Auditing in Industry Practice