Atal tunnel in Himalayas ready for formal opening