IRCTC Down: Here's 7 ways to book tickets online