Efficient enumeration of extensions of local fields with bounded discriminant