Astros firman a Alex Cora