Josephson current in ballistic Nb/InAs/Nb highly transmissive junctions