Theoretical analysis of a PSK coherent heterodyne optical receiver using external cavity semiconductor lasers