Use case diagram for online movie ticket booking system