The military effectiveness of bombing varied. The Luftwaffe used how many short tons of bombs during the Blitz?