A bitopological point-free approach to compactifications