How to Choose Between REST APIs and HTTP APIs?