Distributed feedback semiconductor lasers