A library system with Android application for end users and cloud based service