A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions