Construction of analytic KAM surfaces and effective stability bounds