Nine people die after Philippine ferry sinks