A selection language for JSON