how long did it take to restore windsor castle after the fire