what is priority encoder