Tidal current power for Indonesia? An initial resource estimation for the Alas Strait