Ali Zamin appointed additional judge of Allahabad High Court