Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems