How many troops were in the battle of bannockburn?