latexml vs snuggle benchmark