Symbolic linear matrix inequalities (LMI) and semi-definite programming (SDP) tools for Python