battle of tabuk was fought between