Relational semantics for Belnap's "useful four-valued logic", and beyond: what Belnap should have said, but didn't