Electromagnetic design of an ICRH system for IGNITOR