A Computational Model to Implement Binaural Synthesis in a Hard Real-Time Auditory Virtual Environment