use tex rendering in matplotlib