Multi-agent reinforcement learning for cooperative lane changing of connected and autonomous vehicles in mixed traffic