Enviar por SMS: Elimination of quantifiers and undecidability in spatial logics for concurrency