Escape of TA3 tumors from allogeneic immune rejection: theory and experiments