7GUIs – A Notational Usability Benchmark for GUI Programming