How many Mexicans were killed in the battle of Sacramento?