Pivot tightening for direct methods for solving symmetric positive definite systems of linear interval equations