Mean dimension