Sections 4 and 5.2 moved to appendices.
The paper (without appendices) now fits in 15 pages as wanted by ANTS.