Mean-Field Cooperative Multi-Agent Reinforcement Learning: Modelling, Theory, And Algorithms