On 4-critical planar graphs with high edge density