Is there a device out there that can take input from most standard mobile devices such as iPhone, Macbook, PC, Android, etc. and output to HDMI on a TV? This is for a meeting house where teachers could bring in their own personal devices to connect to our TV for teaching small classes. I'd rather not buy individual adapter cables.