A new type of PHC pile-sinking technology: Drilling with PHC Pipe Cased Pile and its development directions. Issue 1 (October 2020)