How many tanks were lost during the battle of the bulge