Ball mill and vertical mill