How do you address micro aggressions in the workplace when HR is involved and doesn't address the issues? I eventually left the company, not sure if there's a better way to handle this?