Minimum size of feedback vertex sets of planar graphs of girth at least five. (March 2017)