The fundamentals of biocarbon formation at elevated pressure: From 1851 to the 21st century ☆