Edinburgh International Film Festival ceases trading