Tunable ultraviolet output from an intracavity frequency-doubled red vertical-external-cavity surface-emitting laser