HTML中<!DOCTYPE>标签与lang和字符集的作用