What is the function of the cerebellum in the human brain?