BioShock 4: status and development