Tackling the Matrix Multiplication Micro-kernel Generation with Exo