Universal composable security of quantum message authentication with key recycling