where did the battle of fort ticonderoga happen