The Event-B Mathematical Language