How many Muslims were to dig the Ditch during the battle of Ahzab?