THz Mixing with High-TC Hot Electron Bolometers: a Performance Modeling Assessment for Y-Ba-Cu-O Devices