Construction notes on the lost dome of Montecassino basilica