Real Analysis: A Constructive Approach