List of smart TV platforms and middleware software