INESC TEC develops platform to manage hospitals