The informal semantics of Answer Set Programming: A Tarskian perspective