learning-mysql Intro learning-mysql playground scripts and notes Details Getting started with docker mysql Mysql pk versus secondary index efficiency