what are the old name's of patna?​