Electronically tunable external-cavity semiconductor laser