battle of badr in history