User-interface markup language