What's the difference between "berada" and "ada"?

In this sentence, there is no difference.
'berada' is more formal.
It has the same meaning:

Mereka berada di sana.
Mereka ada di sana.
Mereka di sana.