Experimental study of fluorine and chlorine contents in mica (biotite) and their partitioning between mica, phonolite melt, and fluid