A Theoretical Framework for End-to-End Video Quality Prediction of MPEG-based Sequences