Computational Technologies for Reliable Control of Global and Local Errors for Linear Elliptic Type Boundary Value Problems