Non-slipping JKR model for transversely isotropic materials