Josephson Current in Nb/InAs/Nb Highly Transmissive Ballistic Junctions