Recent results about extremals of sharp Adams inequalities and quantization theory for related high-order elliptic equations