Which messaging protocol is commonly used for lightweight, low-bandwidth IoT device integration and operates on a publish/subscribe model over TCP?