Groups elementarily equivalent to metabelian Baumslag-Solitar groups and regular bi-interpretability | Synapse