10,000 homes to be built in Yishun's Chencharu; Gillman Barracks could be redeveloped for housing