Nexchip files for Hong Kong IPO to fund $5.1 billion fab