“can this be connected to an av receiver through the hdmi port?”