3D simulation of Vajont disaster. Part 1: Numerical formulation and validation