what is javascript definition