Commensurate-incommensurate transition of krypton monolayers on graphite: A low temperature theory