Back-and-forth systems for fuzzy first-order models