Converse KAM theory for symplectic twist maps