Pilot Assisted Channel Estimation in Differential Space Time OFDM: Problem Formulation and Performance Evaluation