Инженерный дом, Петропавловская крепость