Дворец Святого Михаила, Михайловский или Инженерный замок