Virtual reality and tactile augmentation in the treatment of spider phobia: a case report