See https://serverfault.com/questions/42789/how-to-increase-memory-usage-in-mysql-server-to-improve-speed