Which battle is mentioned by name in the Qur'an as a day when the Muslims' large numbers initially impressed them but did not avail them?