De Lille resigns as Cape Town mayor effective October 31