Non-integrability of the mixmaster universe