Comparison of Semiclassical Transport Formulations Including Quantum Corrections for Advanced Devices with High-K Gate Stacks